System == {M:(IdMsgA)| loc:Id. Feasible(M(loc)) } 

latex

---

clarification:

msystem{i:l} == {M:(Idmsga{i:l})| loc:Id. ma-feasible{i:l}((M(loc))) } 

latex

Definitions	{x:A| B(x) }, x:AB(x), MsgA, x:A. B(x), Id, Feasible(M), f(a)
FDL editor aliases	m-sys